منابع مشابه
How to Make Chord Correct
The Chord distributed hash table (DHT) is well-known and frequently used to implement peer-to-peer systems. Chord peers find other peers, and access their data, through a ring-shaped pointer structure in a large identifier space. Despite claims of proven correctness, i.e., eventual reachability, formal modeling has shown that the Chord ring-maintenance protocol is not correct under its original...
متن کاملComplex chromosomal rearrangement leading to partial trisomy 22.
We have examined a boy with a peculiar facial appearance and mental retardation. Cytogenetic studies showed 47,XY, monosomy 22, two marker chromosomes, M1 and M2. The karotype is interpreted as functionally partial trisomy 22. Chromosome analyses of both parents and three sibs were normal.
متن کاملHow to be correct, lazy and efficient ?
This paper is an introduction to Lambdix, a lazy Lisp interpreter implemented at the Research Laboratory of the University of Paris XI (Laboratoire de Recherche en Informatique, Orsay). Lambdix was devised in the course of an investigation into the relationship between the semantics of programming languages and their implementation; it was used to demonstrate that in the Lisp domain, semantic c...
متن کاملMisinformation and How to Correct It
The increasing prevalence of misinformation in society may adversely affect democratic decision making, which depends on a well-informed public. False information can originate from a number of sources including rumors, literary fiction, mainstream media, corporate-vested interests, governments, and nongovernmental organizations. The rise of the Internet and user-driven content has provided a v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cell Research
سال: 2013
ISSN: 1001-0602,1748-7838
DOI: 10.1038/cr.2013.135